¡Viva el Primero de Mayo, Día del Proletariado Internacional!