Thompson's Nilpotency Theorem