The uniqueness of finite division for recursive equivalence types. Richard Friedberg — 1961 Mathematische Zeitschrift