Доказать, что если n - простое число и n> 3 (n^2-1) делится на 12 нацело

Тут рулят , кажется, если не забыл, формулы привидения.
sin315°= sin(360°-45°)= -sin(45°) // тут стоит минус, так как наша функция находится в 4-ой четверти, синус это же игрек на системе координат, а игрек в 4-ой четверти отрицательный.
2 | 1

3 | 4
схематичная система координат )) тут я показал где находятся четверти.

cos315°= cos(360°-45°)= +cos45° // тут стоит плюс, так как косинус это икс и он в 4-ой четверти положительный. 

tg(315°) = tg(360°-45°)= -tg(45°) // тут стоит минус, так как тангенс в 4-ой четверти отрицательный, тангенс это sin÷cos или y÷x, в нашем случаи будет так: tg(360°-45°)= -sin45°÷cos45°= -tg45°

ctg(315°) = ctg(360°-45°)= -ctg(45°) // тут все тоже самое, что и в tg , но только катангес это cos÷sin или x÷y => ctg(360°-45°)= cos45°÷(-sin45°)= 
-ctg45°

Пусть A1,A2,...,An,n- точек, никакие три из которых не лежат на одной прямой. Выясним, сколько прямых проходит через точку A1 и оставшиеся точки. Так как число оставшихся точек равно n – 1 и через каждую из них и точку A1 проходит одна прямая, то число прямых будет равно n – 1. Всего точек n и через каждую из них проходит n – 1 прямая, то число посчитанных прямых будет равно n(n – 1). Каждую прямую посчитали дважды и поэтому число прямых, проходящих через различные пары из n данных точек, равно n(n-1)/2. . Третью точку можно выбрать Тогда число прямых, проходящих через эти три точки,
равно (n(n - 1)(n - 2))/6 .
Или иначе это число сочетаний из n по 3,которое равно
 n!/(n-3)!*3!=n(n-1)(n-2)*(n-3)!/(1*2*3*(n-3)!)=(n(n-1)(n-2)/6