第23章 证明出极小塔问题