deletions | additions       diff --git a/Rank & centrality.tex b/Rank & centrality.tex  index 75a41e9..7b61aa8 100644  --- a/Rank & centrality.tex  +++ b/Rank & centrality.tex 
...
\end{theorem}  \begin{proof}  \begin{equation} %\begin{equation}  %  \begin{aligned} %\begin{flalign}  $$  v \in IntS   &\mathrel{\mathop{\Leftrightarrow}^{\mathrm{(1)}}} % see (\ref{eqn:eq_short_ints}),   \forall p_i: Int S = \{v \in S: sim^1_i > sim_i \ \wedge \ sim^2_i > sim_i \} \ \ (v\ \text{сближает}\ S_1\ \text{и}\ S_2) \ \  
...
\forall p_i: r_v (p_i) = 1  \mathrel{\mathop{\Leftrightarrow}^{\mathrm{(3)}}} % see (\ref{eqn:eq_synonym_rank}),  rank\ (v) = \sum_{i=1}^{|P_v|} 1 = |P_v| = 2^{|S|-2}-1,  $$  %  \end{aligned} \end{equation} %\end{equation}  %\end{flalign}  Поскольку $2^{|S|-2}-1$~--- это максимально возможное число непустых дизъюнктных разбиений, совпадающее с числом Стирлинга второго рода~\cite[с.~24]{Баранов_Стечкин_2004}.  \end{proof}