x2 + y2 = z2