HomeIsabelle/Phabricator

strengthened a lemma