Two workhorses of geometric measure theory are the covering theorems by Vitali and Besicovitch. When I first encoutered them they both seemed quite involved to state and their use was not obvious. Also they have quite lengthy proofs. But once you seem them in action ( e.g. proving Lebesgue's differentiation theorem) you learn to appreciate them.