theorem :: XPRIMES2:882

canceled;