Proof of uni_sat_imp_in_uni_set