I think it may be the punchline in many cases, but still, setting up the right pigeons and holes is what makes proving stuff nontrivial.