can't prove proposition about transitive trees.

Printable View