A simple proof of Vinogradov’s theorem on the orderability of the free product of o -groups Gábor Révész — 1987 Czechoslovak Mathematical Journal