what is the original statement of if two lines intersect at a right angle then they are perpendicular​