Significance of cardiac catheterization for asymptomatic patients with familial hypercholesterolemia