The document header is dated 19 February 2005; this does not establish afirst publication date.
Cited passages: p. 1, theorem for two injections between arbitrary sets and introductory no-choice statement; pp. 1–2, chain types and forward or reversed pairings. The article independently proves its alternative complement pairing.