
theorem
  not 574 is prime
  proof
    574 = 2*287;
    then 2 divides 574;
    hence thesis;
  end;
