Чтобы научиться безошибочно и очень быстро считать и знать теоремы на уровне подкорки - нужно автоматизировать и поддерживать в этом состоянии эти навыки. Представляете, сколько времени уйдет на это? Отработка и поддержание этих навыков сожрет все время какое есть! Везде нужен здравый смысл, уметь считать необходимо как и знание теорем и многое другое.