Как ученые-математики совершают открытия и зачем доказывать теорему о четырех красках?