Change exercise2 and proof of theorem 5