On note et où les exposants sont des entiers naturels éventuellement nuls. Donc et .

où est le plus petit des deux entiers et , ce qui équivaut à dire que est le plus petit des deux entiers et .

On en déduit donc : .