
theorem
  not 720 is prime
  proof
    720 = 2*360;
    then 2 divides 720;
    hence thesis;
  end;
