theorem :: XPRIMES0:1306

not 1306 is prime