Как-то в далёком 1997 году мне понадобилось написать "Лабораторный практикум по астрономии". Там есть лабораторка "Большие планеты Солнечной системы". Не сказать, что я великий математик, но привык к определениям. И вот я подумал: а что это такое – большая планета? Вдруг студенты начнут возмущаться и оправдывать своё неучение тем, что я не дал им определение планеты? По-моему, до 1997 года никакого определения планеты не существовало. И я решил выдумать такое определение: "Большими планетами Солнечной...