a2 + b2 = c2