theorem :: XPRIMES0:315

not 315 is prime