https://123dok.net/document/y8gppl7r-affine-open-subsets-mathbb-cancellation-property.html