So blödsinnig es klingt: ich möchte C eine Begründung von ε nennen, nicht einen Beweis.