
theorem
  not 48 is prime
  proof
    48 = 2*24;
    then 2 divides 48;
    hence thesis;
  end;
