Two column proof showing segments are perpendicular.flv