[附注]
附注（Note）
[附注] 附注（Note）
技术上的补充：容易忽略的前提、常见的误解、和实现有关的细节。附注参与理解，但不参与主线论证。网页中默认折叠，点击标题展开。