Symmetry breaking - proof skeleton