Linking and iteration signs in proving by mathematical induction