Replaced Fib(Suc n)~=0 by 0<Fib(Suc(n)).
Replaced Fib(Suc n)~=0 by 0<Fib(Suc(n)).

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle