To see #8 done with a computer algebra system, click
here
.