вот кстати -да!!! Не нужны прикладникам доказательства теорем.Есть один видеоролик известного нашего мехматовского блогера по западному образованию - Как поступить в Швейцарский Университет бесплатно ETH Zurich и на ФизФак МГУ  https://www.youtube.com/watch?v=TzXPDqvl9T0&t=1749s. Одна из наших студенток поступила на физику этой знаменитой швейцарской высшей технической школы Цюриха (которую кстати в свое вермя окончил сам Эйнштейн -физфаков МГУ он не заканчивал).. Так вот - задачи по математике там сильнее чем на физфаке МГУ - приблизительно равны мехматовским. НО без доказательства теорем. Доказательства совершенно не нужны для применения этих теорем на практике.А у нас все постаринке и гордятся этим безмерно )).