Basic Step: n = 1 is trivial