lim : a:A :A