theorem :: XPRIMES2:1672

canceled;