VEX Forum
a2plusb2equalsc2