Pulkit (anonymous)

Also with proof of c*c= a*a+b*b