Show that the following rules hold, by using the closure test

a) Augmenting left sides: if A₁A₂...A_n-> B is an functional dependency, and C is another attribute then A₁A₂...A_nC-> B follows