theorem :: XPRIMES0:1330

not 1330 is prime