todo numero natural tem um antecessor em N.