theta_2 > theta_3가 자명하니까 a=6은 안되지 않나