A short simple proof of closedness of convex cones and Farkas' lemma

Proving that a finitely generated convex cone is closed is often considered the most difficult part of geometric proofs of Farkas’ lemma. We provide a short simple proof of this fact and (for completeness) derive Farkas’ lemma from it using well-known arguments.