假定域R与R同态，则R也是域。