特に、d&gt;0について多重種数pdがゼロでないならば、xは有理的ではない。