MATH: His theorem is often expressed a(squared) + b(squared) = c(squared)