Question 681937
BD=BD   reflex of prop are congruence