Adds theorem showing approximability implies inclusion.