Five basic lemmas for symmetric tensor products of normed spaces