>>915
いかなる数学の証明も有限長なんですけどw