Problem 13 of Static