Which criterion specifically proves congruence for right triangles using the hypotenuse and one leg?