https://thelogictutorial.blogspot.com/2024/05/rings-and-fields-definitions-and.html