colocando o caso fib de 2 e fib de 3 e tudo passa
generalizando assercoes