stated lemma proving self-dual