Верно ли, что arcctg 1 равен \(\frac{\pi}{4}\) ? В ответе напишите "да" или "нет" с маленькой буквы.