第23章 康威定理的验证