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