 It is relatively straightforward to show that any equation satisfied by all the members of \(C\) is also satisfied by all the members of \(P(C), S(C)\), and \(H(C)\). Hence for a variety \(V, P(V) = S(V) = H(V)\).