theorem :: XPRIMES0:1405

not 1405 is prime