theorem :: XPRIMES2:1786

canceled;