求证一个离散数学定理的证明求教rt(R)=tr(R)的证明(其中R是集合A上的二元关系,t(R)为A上的传递闭包,r(R