Interactive Proof: Parallel Lines & Triangle Angle Sum