theorem :: XPRIMES2:1763

canceled;