“Irrational Numbers. The Existence of a Rational Number Whose Square Is Two”. Middle European Scientific Bulletin, vol. 33, Feb. 2023, pp. 112-4, https://cejsr.academicjournal.io/index.php/journal/article/view/1697.