The Gershgorin circle theorem