\hbox{ne\v sto}\Rightarrow a(S)\in\emptyset