The main result of this paper is the following theorem: Derivations in the system of natural deduction for S4 ith general elimination rules are normalizing. The standard rule of necessitation for the modal logic S4 prevents normalization of dervations. The author shows that normalization holds in S4 if, instead of changing the rule of necessitation, all elimination rules are fomulated in the manner of disjunction elimination.