eberharts conjecture