theorem :: XPRIMES2:5784

canceled;