Wann ist F eine Stammfunktion von f?