theorem :: XPRIMES0:1407

not 1407 is prime