theorem :: XPRIMES2:2784

canceled;