The independence of the ordering principle from a restricted axiom of choice H. Läuchli — 1964 Fundamenta Mathematicae