theorem :: XPRIMES0:48

not 48 is prime