Page "Hoffman-Wielandt inequality" not found :(