А вы задумывались?))⁠⁠

А вы задумывались, что весь матан это не более, чем список формальных правил преобразования одних символов в другие
(сомневающимся совет подумать, с чего бы это вдруг компьютер научился решать уравнения ничего не понимая в их сути?)