Talk:Eberhard's theorem