つかi^iの証明ってどうやるんだ?