If AB = CD and CD = 2 EF then
If AB and CD are a pair of opposite sides of parallelogram ABCD, then
If AB⊥ PQ and CD⊥PQ, then AB⊥CD.