>>455
もしこれが成り立つならば、ファン・デル・ヴェルデンの定理が
系として従うことが証明できた(Σ^ω のコンパクト性を使う)
従って、>>455はファン・デル・ヴェルデンと同程度以上に難しいことになる