P2 -> ( Ida: Seja Logo

, ento

( Volta:

).

( ) ( ), isto , ( ) ( Seja casos pode ou no estar em , basta observarmos quando estiver em ( ) , ou seja, ( ) .

). Como em ambos os .

P3 -> ( Ida:

Seja ( ) , ento ( das parcelas que compe a unio, logo, , ou seja, Volta: Seja tal que, estar tambm na unio ( ( ), ou seja,

), como

no pertence a unio, no pertence a nenhuma . Usando ento a definio de Complementar temos:

, isto , ). ( ) .

. Ora, se

no est em

e nem em , no

P4 -> ( Ida:

Seja ( ) , isto , interseco, significa que

). Mas quando dizemos que um elemento no pertence

Logo, . .