Kirkman's Existence Theorem