added lemma motivated by a more specific lemma in the AFP-KBPs theories
added lemma motivated by a more specific lemma in the AFP-KBPs theories

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle