13.4.2 证明原子性的其他引理

后续精彩内容，上QQ阅读APP免费读