Функция, сохраняющая константы и удовлетворяющая условию ⟨1ᵐ⟩