Starting to sketch the theorem