theorem :: XPRIMES2:1882

canceled;