theorem :: XPRIMES0:915

not 915 is prime