theorem :: XPRIMES2:6170

canceled;