2.2.4 problem 37

See https://math.stackexchange.com/a/3789043/649082