Complete the proof of ex. 3.1 (there was some finiteness problem before)