Two Straight Lines make Equal Opposite Angles/Porism

Porism to Two Straight Lines make Equal Opposite Angles
It follows that if two straight lines cut one another, the angles at the point of intersection make four right angles.

Proof
Follows directly from:

and: