Provide a rigorous proof tool for statements that must hold for every positive integer n, circling back to the general terms and sum formulas found earlier.