Sobre su nombre: “Las cinco puntas de la estrella rojarepresentan los cinco dedos de la mano de cualquier proletario otrabajador. Así mismo, también denotan los cinco continentes de nuestroplaneta. Esta id[...]