- А вот как все-таки доказывается твоя теорема В.3 из 0905.2621 ?
- Ой, ну я не помню. Это надо посмотреть в 3.10... нет, там тоже ничего нет... ну, тогда значит, в доказательство теоремы 5.5 из 0708.3398. Там впервые появился такой аргумент... где оно тут... вот, делаем так и так.
- Ну, а это почему?
- Это... опять не помню. Погляжу-ка я в эту 5.5 снова... а, ну да, конечно.
Как ни странно, вроде действительно все вспомнил в итоге. Но без шпаргалки (компьютера, в смысле) не обойтись.
- Ой, ну я не помню. Это надо посмотреть в 3.10... нет, там тоже ничего нет... ну, тогда значит, в доказательство теоремы 5.5 из 0708.3398. Там впервые появился такой аргумент... где оно тут... вот, делаем так и так.
- Ну, а это почему?
- Это... опять не помню. Погляжу-ка я в эту 5.5 снова... а, ну да, конечно.
Как ни странно, вроде действительно все вспомнил в итоге. Но без шпаргалки (компьютера, в смысле) не обойтись.
no subject
Date: 2011-02-18 08:01 am (UTC)no subject
Date: 2011-02-18 08:02 am (UTC)no subject
Date: 2011-02-18 08:09 am (UTC)