So, there is an injective map from F to F X and now what we are doing is F X mod the polynomial the ideal generated by the polynomial f and that is K.
కాబట్టి, F నుండి F X వరకు ఒక ఇంజెక్టివ్ మ్యాప్ ఉంది మరియు ఇప్పుడు మనం చేస్తున్నది F X mod, బహుపది F ద్వారా ఉత్పత్తి చేయబడిన ఐడియల్ మరియు అది K.