Andrew Krizhanovsky Leftrightarrow + above title  almost 8 years ago

Commit id: e29b6cd140756c2c07b81404637205656d52ae75

deletions | additions      

       

$$  v \in IntS \Leftrightarrow rank\ (v) = 2^{|S|-2}-1,\ \ |S| \geqslant 3,  $$  $$  v \in IntS \Leftrightarrow{n+\mu-1} rank\ (v) = 2^{|S|-2}-1,\ \ |S| \geqslant 3,  $$  \end{theorem}  \begin{proof}  $v \in IntS \Leftrightarrow $