Is the following definition of perpendicular reversible? Two lines that intersect at right angles are perpendicular.