https://www.mathstoon.com/a-field-is-an-integral-domain-proof/