...

本又把Ｗｅａｋｌｙａｒｂｉｔｒａｇｅ－ｆｒｅｅ和Ｓｔｒｉｅｄｙａｒｂｉｔｒａｇｅ－ｆｒｅｅ从Ｅａｄｉｄｅａｎ空间拓广到无限维空间，从而得到拓广的Ｍｉｎｋｏｗｓｋｉ－Ｆａｒｋａｓ引理和Ｓｔｉｅｍｋｅ引理．......