Replaces proof with reference to original.
Adds theorem showing approximability implies inclusion.