Polynomring über einem Körper als euklidischer Ring

Sei \(K\) ein Körper und \(K[X]\) der Polynomring über \(K\), dann ist \(K[X]\) ein euklidischer Ring bezüglich des Grads eines Polynoms

todo Division mit Rest über Polynomen über einem Körper