theorem :: XPRIMES0:405

not 405 is prime