\( \definecolor{colordef}{RGB}{249,49,84} \definecolor{colorprop}{RGB}{18,102,241} \)
Re-prove the integrality of \(\mathbb{K}[X]\) from the degree-of-product formula: show that for all \(P, Q \in \mathbb{K}[X]\), \(PQ = 0 \implies P = 0\) or \(Q = 0\).
Capture an image of your work. AI teacher feedback takes approximately 10 seconds.