-- fie paralelogramul ABCD in care AB = BC = CD = DA (paralelogramul = romb)
Δ ADC = Δ ABC (AB = BC = CD = DA ; mas<B = mas<D)
⇒ mas <DAC = mas<BAC ⇒ AC = bisectoare
-- fie paralelogramul ABCD , AC = diagonala , mas<DAC = mas<BAC
deoarece mas<A = mas<C ⇒ mas<A/2 = mas<C/2 ⇒
⇒ in Δ ADC mas<DAC = mas<ACD ⇒ Δ ADC = isoscel ⇒ AD = DC ⇒ paralelogramul = romb