Математиканың нигеҙендәге буш урынды тултырырға Бернард Больцано беренсе булып үҙенең «Ҡапма-ҡаршы тамғалы һөҙөмтә биргән теләһә ниндәй ике ҡиммәт араһында тигеҙләмәнең бер генә булһа ла ысын тамыры ята, тигән теореманы тулыһынса аналитик иҫбатлау» (