We provide a very short approach to several fundamental results of Hopf
algebras. Besides being short, our approach is the only one to prove the
bijectivity of the antipode without using the uniqueness of the integrals of
Hopf algebras and obtain the results on existence and uniqueness of integrals
as a byproduct in a way similar to the classical theory of the Haar measure on
compact groups.