Ist das korrekt? Im Internet steht, dass die Stammfunktion von cos x = sin x ist, nicht sin x + C.