
theorem
  not 628 is prime
  proof
    628 = 2*314;
    then 2 divides 628;
    hence thesis;
  end;
