Nielsen-Ninomyia theorem