File:5_lemma.svg loading ...