szpiros conjecture