You can find an elementary proof in our paper joint paper, Corollary 4.4:
- Mykola Lysynskyi, Sergiy Maksymenko, Classification of differentiable structures on the non-Hausdorff line with two origins, arxiv:2406.09576
It follows the line similar to the one mentioned in the answer by Will Sawin.