Belated solution to Problem 31.