In this paper, we continue our earlier study
of Mazur’s Principle for totally real fields, and
extend the main result to one also applicable to primes dividing
the characteristic. The method we use is a naive generalisation
of that of Mazur and Ribet.