Ein Mathematiker ist ein Gerät, das Kaffee in Behauptungen umwandelt.