11/09/03 15:17:35.89
>>523
＞[2.1] まず、α＝β∩γが成り立つことを示す。
＞[2.2] が、これはα,β,γの定義からすぐに分かる。
何故？α＝β∪γであれば普通だが。
＞[3.1] 次に、β∩γ ⊂ βが成り立つことを示す。
＞[3.2] が、これは本当に明らかである。
何故？
11/09/03 15:17:35.89
>>523
＞[2.1] まず、α＝β∩γが成り立つことを示す。
＞[2.2] が、これはα,β,γの定義からすぐに分かる。
何故？α＝β∪γであれば普通だが。
＞[3.1] 次に、β∩γ ⊂ βが成り立つことを示す。
＞[3.2] が、これは本当に明らかである。
何故？