theorem :: NUMBER13:54

( (3 ^2) + (7 * (1 ^2)) = 4 ^2 & (7 * (3 ^2)) + (1 ^2) = 8 ^2 ) ;