Исследование простых делителей
Я рассматриваю нечётные простые числа, не делящиеся на 3, начиная с правила p ≡ ±1 mod 6, которое приводит к p² ≡ 1 mod 24. Поскольку любое простое число, большее 3, взаимно просто с 6 и нечётно, это верно. Следует проверить делители большего размера, например 120, используя p=5, что подтверждает: НОД равен 24. Похоже, все простые числа > 3 согласуются с этим, подтверждая, что НОД может быть только 24.
Для любого простого \(p>3\): \(p^2-1\) делится на \(8\) и на \(3\), значит, на \(24\).
При \(p=5\): \(5^2-1=24\).
\[ \boxed{\text{НОД}=24} \]