slt
A*B = ensemble vide => a ou b = ensemble vide
<=> a # ensemble vide et b # ensemble vide => A*B# ensemble vide
( A*B est le prduit cartesien de A fois B )
c'est ce que nous allons demontrer :
puisque A et B sont différent de l'ensemble vide, il existe au moins un element x de A et un element y de B, donc il existe au moins un couple ( x;y ) appartenant à A*B, et par conséquent A*B est différent de l'ensemble vide,
d'où le résultat