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