Ccix leqbul → (n) Ccix leqbul