theorem :: XPRIMES2:2276

canceled;