
theorem
  not 361 is prime
  proof
    361 = 19*19;
    then 19 divides 361;
    hence thesis;
  end;
