theorem :: XPRIMES2:6874

canceled;