Многие изобретатели так: сначала придумают гениальное изобретение, а потом начинают всеми силами доказывать, что оно действительно правильное и гениальное. Находят доказательства, выводят новые формулы и т.д. Можно вспомнить Юницкого с его струнными дорогами, который 40 лет доказывал, а как только начал строить - тут-то и оказалось, что и близко ничего из того, что она там высчитывал, не получается.
Гаусс в тот момент был очень голоден и стоял перед грушевым деревом с висящей на нем табличкой о запрете поедания плодов.
В математике всегда так, когда решение уже совсем близко, оно неожиданно ускользает.
Я знаю. Семен, или разблокируй комменты, либо иди нахуй! Леша.