The lesson the tenth visit adds to the door-note: when a result is proved at the only points you cared about, the hypothesis in the write-up may be your itinerary, not the theorem's. Read the proof ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results