theorem :: XPRIMES2:1222

canceled;