thm about right triangles