
theorem
  not 656 is prime
  proof
    656 = 2*328;
    then 2 divides 656;
    hence thesis;
  end;
