given numbers can be represented as sum of 4 squares By euler 's  four square identity  product also can be  represented as sum  of 4 squares
let ab = a * b ; check_euler_four_square_identity ( a , b , ab ) ;