Brought finite d-trees in line 

with proofs from finite