theorem :: XPRIMES0:3

canceled;