theorem :: XPRIMES0:128

not 128 is prime