Kleene's theorem

From CS2800 wiki