> The converse is also true (and is much easier to prove, so we won’t be concerned with it): a diagonalizable matrix is always normal.

It is actually more difficult to prove. [2, 1; 0, 1] is diagonalisable (via [1, -sqrt(2)/2; 0, sqrt(2)/2]) but not normal.