Click gv-ss22-10-crossing-lemma.pdf link to view the file.