Right triangles lengths