theorem :: XPRIMES2:2246

canceled;