んだ。必要ならメタ数学の定理も使う。