li6bonn

这只是一个逻辑的推断过程，在一开始看起来是有些“幼稚”，但是这是为了给进一步的论证提供的“预热”程序。