竜数定理を用いる。