The theorem 2-4 states that to non-vertical lines are perpendicular and only if and only if the product of their slopes is -1 why are vertical lines excluded?