Sejam as operações e definidas no conjunto dos inteiros positivos, tais que e . Determine o sucessor do número resultante da expressão .