Residue field
 
x
OK