Henryk Kotlarski Other Proofs of Old Results. 474-480 1998 44 Math. Log. Q. db/journals/mlq/mlq44.html#Kotlarski98