for T being Tree holds T is T-Substitution of 0