File:Sandwich_lemma.svg loading ...