theorem :: XPRIMES0:54

not 54 is prime