Grenzwert ist kompatibel mit Grundrechnungsarten (Beweis)