n=0 から証明すべきだったと思う。