  In this paper, congruences between holomorphic Hilbert modular forms are
studied. We show the best possible level optimization result outside l for l >
2 by solving the remaining case of Mazur principle when the degree of the
totally real field is even.
