Dovetail Theorem: Problem 1