Következmény: egy újabb ellentmondás
=
≡
=
=
=