[9.5] Right-Angled Triangles