第53章 证明更一般形式的可能?