theorem :: XPRIMES2:784

canceled;