我最初对丰卫兵的回复就是通俗易懂，言简意赅.

无非是说，总可以写出软件来，它会不会crash是没有人能够搞清楚的，更别提debug了，而且这是数学和计算机大牛们证明的定理。是丰卫兵要我把细节写给他看，否则他不信。那我就浪费半个小时写出来，看他看不看得懂。