Two column proof showing segments are perpendicular