相应的算法： subroutine second-visit-traversal-of T: 你能证明这个算法 (1)if T is empty then return; 是正确的吗？ (2)otherwise (i.e.,if T is not empty)do the following: (2.1)call second-visit-traversal-of left(T): (2.2)output the data element found at the root of T; (2.3)call second-visit-traversal-of right(T); (3)return.相应的算法： 你能证明这个算法 是正确的吗？