Если из высказывания P следует Q и Q приятно, то P истинно. (Сб. Колмогоров в воспоминаниях. М.: Физматлит, 1993, стр. 377)