Изменения

== Теорема ==

<tex>\left [ \begin{aligned} char\; F = 0\\ char\; F \in \mathbb{P} \end{aligned} \right .</tex>

<tex>\triangleright</tex> <tex>(n \cdot m) \cdot 1 = 0</tex> <br />

<tex> (n \cdot 1) \cdot (m \cdot 1) = 0 \Rightarrow \left [ \begin{aligned} n \cdot 1 = 0 \\ m \cdot 1 = 0\end{aligned} \right . \Rightarrow</tex> характеристика <tex>\ne n \cdot m</tex> — противоречие с минимальностью <tex> char\; F \triangleleft</tex>