Proposition: Charakterisierung der Isomorphie von Wurzelbäumen

Seien und zwei Wurzelbäume.

Es gilt:
sind isomorph und haben denselben Code.