Andrew Krizhanovsky align*  almost 8 years ago

Commit id: a4f44bc8f798eb721d799c64346962e09a4ae810

deletions | additions      

       

\end{theorem}  \begin{proof}  \begin{equation}  \begin{aligned*} \begin{align*}  %\begin{flalign}  v \in IntS  

\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{align*}  \end{equation}  %\end{flalign}  Поскольку $2^{|S|-2}-1$~--- это максимально возможное число непустых дизъюнктных разбиений, совпадающее с числом Стирлинга второго рода~\cite[с.~24]{Баранов_Стечкин_2004}.