5 kyu

Loading Kata: Coinduction Proof Principle