Смысл теорем естественно надо объяснять. но не обязательно строго доказыватьВсе мы допустим пользуемся формулой для нахождения производной скажем произведения двух функций. Но почти все не знают, не помнят как она выводится. И как нам это мешает этой формулой пользоваться??Другое дело,что нужно четко знать точную формулировку теорем,чтобы знать условия ее применимости.Но и в этом случае кстати - нередко математики придумывают всякие функции, которые в реальной жизни практически не бывают - с каким нибудь разрывом в каокй нибудь точке. И какая нибудь теоремпа будет неверна в этом разрыве. Но и в реально жизни таких почти нет