Comultiplication in a Frobenius Algebra

The main result of this page is that

Theorem

Every Frobenius algebra has a unique coalgebra structure for which the Frobenius form is the counit which is -linear. Conversely, given any coalgebra,