Right triangles congruence