>>197
ところが定数式は「以下の何れかに該当しない式は皆定数式」という書き方がしてあるので
保証が無いと言うなら証明可能だと思うんだが