서로 다른 네 소수의 곱으로 임의의 자연수 $n$에 대해, $1 = d_1 < d_2 < \cdots < d_{15} < d_{16} = n$ 을 $n$의 약수들이라 하자. $n < 1995$ 이면 $d_9 - d_8 \neq 22$ 임을 증명하여라.