theorem :: XPRIMES0:40

not 40 is prime