Case 1 for the first proof is complete.