B. Bolzano, “Purely Analytical Proof of a Claim, that Between Each Two Values Resulting in Opposite Signs, There is a Real Equation Element”, AUPC, vol. 9, no. 1, pp. 197–217, Jul. 2018.