Dovetail Theorem: Problem 4