theorem :: XPRIMES0:1915

not 1915 is prime