Theorem: true-list-listp-when-tree-list-listp
(defthm true-list-listp-when-tree-list-listp (implies (tree-list-listp treess) (true-list-listp treess)))