lim x-->a [ cos x/cot x - cos a/ cot a]