theorem :: XPRIMES0:50

not 50 is prime