Да, точно y'-yctgx=tg^2(x)