Category:Conjectures which were proven