Porque 1 de Maio é dia do trabalhador?