theorem :: XPRIMES0:540

not 540 is prime