siegel_zero_conjecture