
theorem
  not 1050 is prime
  proof
    1050 = 2*525;
    then 2 divides 1050;
    hence thesis;
  end;
