TODO. Main Theorem [00EF] The zeta species and the eulerproduct on the right hand side are isomorphic as types.