Dimostrazione.
-
Per ipotesi
.
Quindi
e
.
-
Quindi, se
, sarà
che implica
.
Sappiamo già che
quindi
, ma questo è assurdo perché per ipotesi abbiamo che
. Quindi
.
c.v.d.