for n being positive Integer holds 169 divides ((3 |^ ((3 * n) + 3)) - (26 * n)) - 27