Added iff lemma for simple entries.