集合でAUB=AUC→B=Cの証明の記述はどう書けばいいでしょうか?