Equilateral triangles are constructed on a leg and the hypotenuse of a right triangle. Prove the green area equals the red area.