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.