Surprisingly, formal proof on the optimality of a linear decision rule in the discrete time AK model with a CRRA utility function has not been established in the growth literature while that in the continuous time counterpart is well-established. This note fills such a gap: I provide a formal proof that consumption being linearly related to investment is a sufficient and necessary condition for Pareto optimality in the discrete time AK model.