Prove Theorems about Perpendicular Lines