Alternate angles at parallel lines

Demonstration.