докажите что АВ=CD если известно что АВ|| CD и ВО =СО

ABCD - параллелограмм AB||CD (дано) AB=CO, C0=AB (дано) AB=AB (рефлексивность) CO=CD (подстановка) AB=CD (транзитивность)