What geometry theorem is being dynamically shown in the applet below? Note: 2 of the 3 lines shown are parallel.