theorem :: XPRIMES2:1750

canceled;