Ausfall 2 – Beweis