typo (mathematischer; aber trivial)