theorem :: XPRIMES2:1759

canceled;