严格的证明。见于 Lectures on the Hyperreals -- An Introduction to Nonstandard Analysis 一书。
历史.佐恩引理在1922年首先被库拉托夫斯基所发现，1935年佐恩亦独立地发现此结论。