Semi finalised the proof of basis
Started to improve section regarding Serre duality