>>444
「U∩S≠φとU∩T≠φが成り立つ」が成り立たない、または
「V∩S≠φとV∩T≠φが成り立つ」が成り立たない
とすればよい。
>>446
検索汁