vojtas conjecture