theorem :: XPRIMES2:1784

canceled;