Text this: The Equivalence of Datko and Lyapunov Properties for (h,k)-Trichotomic Linear Discrete-Time Systems