X^(0)=1
も証明してくれ