A concise proof of Bell's theorem on the necessary nonlocality of any theory which models individual measurements in correlated quantum mechanical systems is presented. A family of inequalities is derived which may be applied to a broad class of correlated systems to test the assumption of locality.