theorem :: XPRIMES2:2873

canceled;