>>484
スレ主です
ご苦労さまです

赤ペン先生します〜！ｗ　（＾＾
１）”∀a∈F1,b∈F2∃Ua,b∋a,Ub,a∋b Ua,b∩Ub,a=φ”
　ここ ∀の範囲がはっきりしないぜ。bも入れるだんろ？
　かつ b∈F2∃Ua→ b∈F2,∃Ua　じゃね？ カンマかピリオード入れて区切れ！
　∃も 範囲がはっきりしない！
２）”U1=∪Va,U2=∪Vb U1⊃F1,U2⊃F2,U1∩U2=φ”
　ここ U1=∪Va → U1:=∪Va じゃね？ 定義なんだろ？

おまえさ、ラクガキ証明を書く前に Grok AIにかけておくれ
エントロピー高杉くんｗ　（＾＾