theorem :: XPRIMES1:784

canceled;