Prove that if A = ½(15+√197), then 7 is a factor of [A^n] for all positive integer values of n, where [w] denotes the greatest integer less than or equal to w.