Category talk:Theorems about right triangles