theorem :: XPRIMES2:1766

canceled;