Одной гипотезой меньше

Полностью вывел некое (по существу вполне побочное) утверждение, проходившее под заголовком "гипотеза" в статье про артин-тейтовские мотивные пучки, из (гораздо более важного) утверждения, проходящего под заголовком "гипотеза" в статье про артин-тейтовские мотивы над полями (плюс другие обычные предположения). Теперь в статье про артин-тейтовские мотивные пучки действительно нет никаких новых гипотез!

Архивная публикация новой версии статьи теперь из-за этого откладывается на сутки.