Category:Conjectures that have been proven