Theorems about right triangles