A group $G$ is called CT-group if being commutative elements is transitive relation on $G\setminus\{1\}$ i.e. if $ 1 \neq x,y,z\in G $ and $[x,y]=1, [y,z]=1 $ then $[x,z]=1$.
I encountered the fact that free groups are CT-group, but every proof to this is very long and work for much general case (I know its true also for hyperbolic torsion free groups, which is nice but overkill for me).
Any one knows a self contained proof for this? The papers I saw uses arguments from algebraic topology, which are way over my knowledge, I only need the case of free groups.