[ECI] Kleines Proofproblem