theorem :: XPRIMES2:1885

canceled;