Remark. the textbook definition for normal extensions [2206]

The textbook uses (5) of Proposition 2205 as the definition of normal extensions.