theorem :: XPRIMES2:6191

canceled;