Bolzano, Rolle y reducción al absurdo para comprobar existencia de solución única