theorem :: XPRIMES2:6186

canceled;