E7: Sides of the Right Triangle