theorem :: XPRIMES2:1773

canceled;