Beta

Loading Kata: Voile's question: ∀ (n : ℕ), 1 = 2 * n