Megjegyzés

A bizonyítás nem volt teljesen precíz, mivel annak során olyan fogalmakat is használtunk, amelyeket eddig még nem definiáltunk. Például a "legfeljebb" kifejezést vagy a $\leq$ és $<$ relációkat, továbbá a $-$ szimbólummal jelölt "kivonást" az indexek között. Ezenkívül nem fogalmaztuk meg formálisan, hogy pontosan mit értünk "kifejezés", "zárójelezés" vagy "sorrend" alatt.

Ezek mind precízen leírhatók a formális logika eszközeivel pusztán az eddig definiált fogalmak segítségével is, azonban a könnyebb érthetőség kedvéért ennyire alacsony szintre nem kívántunk lemenni.

♣