Statement of Epp's theorem and reduction steps

Unfinished