
fib0(0,0).
fib0(1,1).
