Lemma. Commutativity Dirichlet Product [00E8]

Given species on FinSet and we have that

Proof. TODO: just rearranging things