« Dirichlet Product of Species
TODO.
[00FC]