A Self-Contained Review Of Thompson'S Fixed-Point-Free Automorphism Theorem