Por definición un "anillo de valuación" de K es un subanillo