problem([]==>fib(s(0))=s(0)in pnat,
simplify then identity,axiom,
[
]).
