https://www.youtube.com/watch?v=kkKfRaI-cqs
At 13.00 what does the professor mean to let those subcovers be "restricted" to Y? Is that a process like A is contained by B implies that A intersect C in contained by B intersect C? Isn't it a lemma that needs to be proved?