Conjuntos

A pesar que es un ejercicio "corto", no está sencillo (hasta que te cuentan la respuesta, claro ;) )
i)Denotemos complemento con "'".. así, por ejemplo "A complemento" es A'
Ii)U como el "conj Universo
iii)y 0 como el vacío
El "truco" es utilizar la propiedad A(inter)U = A, para todo conjunto A..
..y la propiedad: 0'=U
Con esto, el complemento de
A(Inter)B'=0 (que es tu hipótesis) es el Universo, y lo intersectamos con A, es decir:
A=A(inter)[A(inter)B']'
=A(inter)[A'(unión)B], por Morgan
=[A(inter)A'](unión)[A(inter)B]
=A(inter)B
Lo que es lo que buscas..
Y con esto queda demostrado :)
Chao,
Mathtruco