Problem 138 added.

The comments were modified to comply with TeX syntax, so it would be
easier to insert them in a TeX document.