La siguiente identidad fue probada en nuestro artículo multiplicando series de potencias/contando etiquetados de conjuntos parcialmente ordenados.

El reto es encontrar alguna prueba usando el principio de inclusión y exclusión/la característica de Euler, tal como se sugiere en esta conversacion de Twitter.