theorem :: XPRIMES0:407

not 407 is prime