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