theorem :: XPRIMES2:1876

canceled;