Dovetail Theorem: Problem 3