theorem Th3: :: MODAL_1:8

for Z being Tree
for n, m being Nat st n <= m & <*m*> in Z holds
<*n*> in Z