theorem :: XPRIMES2:4784

canceled;