shanks conjecture