Верно,но от натуральных к рациональным и обратно перейти проще простого,а значит это не облегчает доказательства.