比较容易证明：
因为R是传递关系R^2包含于R,下证
R包含于R^2
任意元素（x,y）属于R,因为R满足自反关系,所以（y,y）属于R
所以（x,y）*（y,y）=（x,y）属于R*R
因此R包含于R^2
所以有R^2=R