整列可能定理を使った証明ってよく分かんないよね、素朴な感想