Bolzano’s theorems for holomorphic mappings