This result states that let be a profinite group, let be a finite extension, let be its ring of integers, let be its maximal ideal, and let be its residue field. Let be a continuous representation. Suppose and are -lattices that are stable... It places Brauer–Nesbitt Independence of Stable Lattices in the framework of modular forms and Galois representations.