theorem :: XPRIMES0:300

not 300 is prime