>>719
719さんの7行目のF_A=(X-O)∩Aを証明することができません。
どなたかご教授して下さい。よろしくお願いします。