The following 1953 proof by Dov Jarden has been widely used as an example of a non-constructive proof since at least 1970: CURIOSA 339.
Наступний доказ, сформульований Довом Джарденом в 1953 році, широко використовується як приклад неконструктивного доведення принаймні з 1970 року: CURIOSA 339.