Sendo , onde e é um inteiro maior que , então, se é um inteiro maior que .