In a lecture course I saw a proof of Poincare duality by deducing it from Grothendieck duality. Proving Grothendieck duality for sheaves on topological spaces took a good part of the semester of course, and then deducing Poincare duality was still not a one liner as well, but filled an entire lecture in which we worked out what all the shrieks and derived functors were doing in terms of differential forms or singular cochains.