theorem :: XPRIMES2:873

canceled;