Talk:BGV Theorem