edited lemma regarding faithful action