theorem :: XPRIMES2:222

canceled;