Linear groups - Malcev's theorem and Selberg's lemma