Talk:Redundant proof