Je crois pour la remière ya juste implication:
entoutcas
Supposons que
x £ B => x £ AUB => x£AUC parceque AUB = AUC
=> donc soit x£A ou x£C
1...Si x£C donc B appartient C
H= TARATO3
2...Si x£A ==> x£ AHB
(puisqu'on a supposé que x£B) ===> x £ AHC puisque AHB=AHC ==> donc x£C
dans les 2 cas "1;2" x£C ===> x£B
meme méthode pour x£B===> x£C