Докажите, что истинно равенство: arcctg(ctg π/12)=π/12; arcctg(ctg7)= 7-2π

Аrcctg обратная функция катангенсу, т. е. arcctg(ctg п/12)=п/12. Если объяснять еще проще, когда ты считаешь катангенс получаешь некоторый ответ, после этого с арккатангенса возвращаешься к исходной функции катангенса. А второе я не поняла.