Pero si (S I I "Z") "no" tiene una forma normal, se reduce como sigue: