theorem Th7: :: SCM_COMP:7

for t being Terminal of SCM-AE
for n being Element of NAT holds SCM-Compile ((root-tree t),n) = <%((dl. n) := (@ t))%>