第六百五十六章 默认定理与否