theorem :: XPRIMES2:8784

canceled;