Является ли членом последовательности a_n=n^2-17n число - 72

Обычное квадратное уравнение

-72=n²-17n

n²-17n+72=0

По теореме Виета корни уравнения

n1*n2=72

n1+n2=17

n1=9

n2=8

Это значит что при n=8 или 9 уравнение имеет смысл. Но возникает другой вопрос является ли это последовательностью если 8 и 9 элемент равны - 72?