Changed \Longleftrightarrow to \Longrightarrow in Ex 2.3