OD = OC = OB = OA => ACBD paralelogram => AD || BC
∡AOC = ∡BOD (opuse la varf) => (AC) = (BD)
OD = OC
∡DOA = ∡BOC => (LUL) ΔAOD = ΔBOC => OP = OP'
OA = OB
OP' ⊥ AD
OP ⊥ BC } => P'OP coliniare
AD || BC
