todo número natural tem um antecessor ​