User:Dfeuer/Archimedean Totally Ordered Group is Abelian