prove part ok formula, sufficient with symmetry of formulas