>>447 U∩S∪T≠φかつV∩S∪T⇒ U∩S≠φとU∩T≠φが成り立つ
かつ、V∩S≠φとV∩T≠φが成り立つ。
はどう示せばいいでしょうか?