Igaza van, ez egy igen szép feladat a teljes indukciós bizonyításra.