Прошу помощь в Mathematica

[avz]

Последние версии данного продукта позволяют делать анализ рекурсий, насколько я понял.
У меня только 2.0 понятно-откуда-взятая.

Моей аспирантке хотелось бы превратить две рекурсии

N(1)=3; N(n)=1+2*n*N(n-1)
M(1)=4; M(n)=1+3*n*M(n-1)

в обычные формулки, а ручками что-то не получается.
Может, у кого-то М9 есть, и там получится (или любым другим образом)? Буду очень благодарен.