(zeng jiongzhi,chiungtze c.tsen)はを証明した。