Dimostrazione.
Analoga al caso reale della proposizione 7.2.