TODO. Dirichlet series of dirichlet product of species is dirchlet product of dirichlet series [00FA]

i.e

clearly

To continue here we must first make progress on the groupoid cardinality of the dirichlet product of F and G, for that look at group action of on cartesian decompositions