
theorem
  not 608 is prime
  proof
    608 = 2*304;
    then 2 divides 608;
    hence thesis;
  end;
