almost finish section about invariant measures and linear forms