In der Theorie der Invarianten binärer Formen gilt der Satz, dass die projektiven Komitanten eines vollen Systems durch sukzessives Ueberschieben berechnet werden können. Hierauf beruht der Originalbeweis für die Endlichkeit, den. P. Gordan 1868 zuerst gegeben hat. Konstruktiv wird dieser Beweis aber erst dann, wenn man von vorneherein eine obere Grenze für den Grad der Komitanten eines vollen Systems in den Koeffizienten der Grundformen angeben kann. Also eine natürliche Zahl N, die die Sicherheit gibt, dass alle Komitanten eines vollen Systems gefunden sind, wenn man die Ueberschiebungen soweit berechnet hat, dass ihr Grad N nicht übersteigt.