Kazhdan's Theorem on Arithmetic Varieties