Изменения

|proof=

В доказательстве теоремы Фейгина <tex>Y</tex> и <tex>Z</tex> равноправны.

Из <tex>X \twoheadrightarrow Y</tex> по теореме Фейгина следует <tex>R(XYZ) = \pi_{XY}(R) \bowtie \pi_{XZ}(R).</tex>