successor function実現