Zu jeder vorgegebenen Gradschranke d ∈ N + {\displaystyle {}d\in \mathbb {N} _{+}} und jeder Höhenschranke S ∈ R + {\displaystyle {}S\in \mathbb {R} _{+}}
ist die Menge
endlich.