theorem :: XPRIMES2:3873

canceled;