Der Leitkoeffizient zu einem Polynom P ∈ K [ X ] {\displaystyle {}P\in K[X]} , P ≠ 0 {\displaystyle {}P\neq 0} .