
theorem
  not 378 is prime
  proof
    378 = 2*189;
    then 2 divides 378;
    hence thesis;
  end;
