Нееет, гений-то как раз не будет заморачиваются объяснениями. Он решит и дальше поскачет мозги занимать, чтобы не застаивались. В моем физмате раз в неделю "упк" было в фтш алферовском, тогда у них своего здания еще не было. Насмотрелась. В лучшем случае квантор следования поставят и вперед. То есть для них "из этого ясно следует", а ты зависаешь на полчаса.