theorem :: XPRIMES2:6882

canceled;