<<< назад
Лемма о транзитивности импликации.

<<< назад