Как я заменял идеи вычислениями

К обсуждению во френдленте -- была, значит, у меня одна работа. Ее, если кто понимает, о чем я, потом в журнале K-theory издали.

Ну вот, она делалась так -- приходил я домой с работы часов в 7 утра, или в 8. Очень сонный; и прежде, чем лечь спать, думал про спектральную последовательность. Вернее, про гомоморфизм спектральных последовательностей. В уме, без бумажки. Несколько дней подряд; потом обрадованно решил, что все получается.

Прошло почти четыре два года, и собрался я это дело записывать. Начал вспоминать. И получалось у меня так: спектральная последовательность... гомоморфизм спектральных последовательностей... точная последовательность спектральных последовательностей...

Что такое точная последовательность спектральных последовательностей?

Тогда я решил: ну, нафиг. Так до пришествия Мессии не разобраться, что верно и что нет. Для любых элементов икс отсюда и игрек оттуда найдется элемент зет...

Теперь я не сомневаюсь, что там все верно. Проверить это по моему тексту нетрудно; вычисления совсем простые. Ряд людей уже, похоже, проверили; никто до сих пор не усомнился.

Но почему это верно? Откуда это берется? Честно говоря, я без понятия.

Может быть, лучше было продолжать размышления про точную последовательность спектральных последовательностей? А потом и писать про нее?

... Это все было к тому, что при более обычных условиях я, конечно, завсегда предпочту заменить все вычисления идеями.