>>784
cotθ持ち出しちゃだめなのか?