Proposition: Charakterisierung der Isomorphie von Bäumen

Seien und zwei Bäume.

Es gilt:
sind isomorph und haben denselben Code.