Spain Solving right-angled triangles