Математик - это устройство по превращению кофе в теорему.