Talk:Kummer's conjecture