corrected an error in lemma lem:priv-card