Metadata
Author: Literature
Data
French[fr]
Pour l’étape inductive, soit un nœud interne x de hauteur positive ayant deux enfants.
Portuguese[pt]
Para a etapa indutiva, considere um nó x que tenha altura positiva e considere um nó interno x com dois filhos.