Arbeit an Theorem 5.1