Write the congruence theorems for right triangles are derived directly from the general Triangle Congruence Theorems and Postulates SAS, SSS, AAS and ASA. Which of these is HA Right Triangle Congruence derived from? Explain.