Small changes section 5

Small cosmetic changes in section 5, up to Podles sphere example
Section 5 and 6

Small changes + started proof of Theorem 5.3 (to complete)