Page "Davis–Kahan–Weinberger dilation theorem" not found :(