Beta

Loading Kata: Efficient Fibonacci: proof and extraction