
theorem
  not 363 is prime
  proof
    363 = 3*121;
    then 3 divides 363;
    hence thesis;
  end;
