theorem :: XPRIMES2:6873

canceled;