Igaza van, ez egy klaszikus esete a teljes indukciós bizonyításnak.