Two column proof on intersection of two lines
Segment RW and segment SX bisect each other at point V
Line RS is parallel to line XW
...S is parallel to line XW.
Segment RW is of the same length as segment SX
Now we prove that angle WXS is equal to angle ...