Exercise 5, § 11

Let $E_1, E_2$ be two bigebras over A. Show that on the tensor product $E_1 \otimes_A E_2$ the algebra and cogebra structures the tensor product of those on $E_1$ and $E_2$ define on $E_1 \otimes_A E_2$ a bigebra structure.