theorem :: XPRIMES0:30

not 30 is prime