²⁶Mit der nicht einschränkenden Annahme, daß der Leitkoeffizient des Polynoms $U′V − UV′$ genau Eins ist.