edited minor error at end of proof of faithful action