No exotic smooth 4-sphere