Using the complex Euclidean norm and the normal matrix identity,
Both sides are nonnegative. Therefore if and only if . This proves the stronger reusable fact that normal matrices have equal adjoint norms.