Interactive Parallel Line Theorems: Visual Proofs