AB12.11
AB12.11 A. P. Ershov: A remark, page 8
Page 8