String diagram calculation that shows that in a bicategory of relations, Frobenius reciprocity implies the Frobenius laws. The basic calculation can be generalized quite a bit. See here