>>784
⇔U∋uかつV∋vかつU'∋uかつV'∋v
⇔U∋u,V∋vかつU'∋u,V'∋v…(2)
は
⇔U∋uかつV∋vかつU'∋uかつV'∋v
⇔U∋u,V'∋vかつU'∋u,V∋v…(2')
でもいいのではないですか?