Գրեք սա: Constraint symmetry and solution symmetry