Математический анализ в Maple
В частности, это позволяет легко
Шаг 2
В частности, это позволяет легко проверить решение (даже если оно не одно, как в приведенном примере) подстановкой (subs):
Содержание раздела