Item 2.6.14.c.
\(4^n - 1\) is a multiple of 3 for all \(n \in \N\text{.}\)
in-context