Hypotenuse leg rule of congruency