Five basic lemmas for symmetric tensor products of normed spaces

We give the symmetric version of five lemmas which are essential for the theory of tensor products (and norms). These are: the approximation, extension, embedding, density and local technique lemmas. Some application of these tools to the metric theory of symmetric tensor products and to the theory of polynomials ideals are given.