假设存在 设为 A则R真包含于A A真包含于C
一定存在a+bi（b不等于0）属于A c+di（d不等于0）不属于A
A是数域 则d/b(a+bi)=ad/b+di属于A ad/b+di+c-ad/b=c+di属于A
矛盾 故假设不成立