Talk:Zach Young/@comment-4894505-20120617195713/@comment-2153169-20120618112055

We don't have a proof, no ?