
theorem
  not 1328 is prime
  proof
    1328 = 2*664;
    then 2 divides 1328;
    hence thesis;
  end;
