Paraphrase: The theorem was proved by Chiungtze C. Tsen ( also rendered as Zeng Jiongzhi in English ) in 1933 .
Theorem was proved in 1933 by Chiungtze C. Tsen ( also known as Zeng Jiongzhi in English ) .