Polish I

Remaining sections: 1,2,6,7, and results on linear embeddings