One can see from this explicit formula that Hecke operators with different indices commute and that if "a" = 0 then "b" = 0, so the subspace "S" of cusp forms of weight "k" is preserved by the Hecke operators.