theorem Th26: :: MODAL_1:31

(elementary_tree 0) --> [0,0] is MP-wff