On the equational theory ofC*-algebras