theorem :: XPRIMES2:6628

canceled;