Changes
The following related theorem follows from the work of Batson, Spielman and Srivastava <ref name="BaSpSr"/>
'''Theorem.''' Given an arbitrary graph <math>G=(V,E)</math>, there exists <math>F \subseteq E</math> of size <math>|V|</math> that is <math>4|V|/|E|</math>-thin.
==Related conjectures==
