edited precise statement of faithful lemma (it had had an extra word)