Category talk:Conjectures that have been proved