I do like the first result - it is actually much stronger than "not residually finite". What actually happens is that every element in has finite order while is infinitefor every(this isn't what you would call easy to prove, but it is quite elementary).

For your second result, note that and so you can get manipulate this to get a homomorphism... . Then make this into a finite homomorphism such that is not mapped to the identity.