theorem :: XPRIMES2:1760

canceled;