
theorem
  not 320 is prime
  proof
    320 = 2*160;
    then 2 divides 320;
    hence thesis;
  end;
