We show how to use Groebner bases for operads to prove various freeness
theorems: freeness of certain operads as nonsymmetric operads, freeness of an
operad Q as a P-module for an inclusion P into Q, freeness of a suboperad. This
gives new proofs of many known results of this type and helps to prove some new
results.Comment: 15 pages, no figures, corrected typos and changed in parts the
structure of the pape
