Refined the case studied: proved that the img of twice is the set of even numbers
Minor changes