Go backward to ExampleGo up to TopGo forward to Parents and Children |

*Proposition:*
A tree has only cycles of length 0:

forallT:Tis tree =>~( existsp:pis path inT/\ length(p) > 0 /\pis cycle).

*No (non-trivial) path in a tree is a cycle.*

Author: Wolfgang Schreiner

Last Modification: January 26, 2000