Рассмотрим углы, образованные секущей K с прямыми b и c. Угол \( \angle 2 \) и угол, накрест лежащий с \( \angle 1 \) (назовем его \( \angle 3 \)), являются соответственными при параллельных прямых a и b и секущей K.
Так как \( a \parallel b \), то \( \angle 1 = \angle 3 = 56° \) (как накрест лежащие).
Угол \( \angle 3 \) и \( \angle 2 \) являются односторонними углами при прямых b и c и секущей K.