For a tetrahedron in a two-in, two-out state, the magnetization field is divergent-free ; there is as much "magnetization intensity" entering a tetrahedron as there is leaving (see figure 3). In such a divergent-free situation, there exists no source or sink for the field. According to Gauss' theorem (also known as Ostrogradsky's theorem), a nonzero divergence of a field is caused, and can be characterized, by a real number called "charge". In the context of spin ice, such charges characterizing the violation of the two-in, two-out magnetic moment orientation rule are the aforementioned monopoles.