実数否定のまがい物で、数[元]が有限と言ってるんだから当然だな。