How can you mathematically prove that two lines are perpendicular?