在Nicholson书中的证明在倒数符号的记法上容易引起误解，不容易理解，所以指出一些关键点