Trouble showing Time Invariance of recursive system The system is described with the following recursive differences equation:

$$y[n]-4y[n-1]+4y[n-2]=20x[n]+10x[n-1]$$

now lets say the input is delayed by k, then:

$$y[n]-4y[n-1]+4y[n-2]=20x[n-k]+10x[n-1-k]$$

and now the output by the same k: 

$$y[n-k]-4y[n-1-k]+4y[n-2-k]=20x[n-k]+10x[n-1-k]$$

here is the problem , I cannot see how same expression will be acquired .
I've tried performing simple substitution of n-k=m , which leads to: 

$$y[m]-4y[m-1]+4y[m-2]=20x[m]+10x[m-1]$$

which is still not quite the same. 
Obviously the equation is linear differences equation with constant coefficients , therefore I suppose the system indeed TI but how to mathematically show this specific case.
You've actually proved time-invariance already. It's just a matter of clean notation to see this. Let's use $y_1[n]$ to denote the response to a delayed input $x[n-k]$. The sequence $y_1[n]$ satisfies the following difference equation:

$$y_1[n]-4y_1[n-1]+4y_1[n-2]=20x[n-k]+10x[n-k-1]\tag{1}$$

The delayed response to the input $x[n]$ satisfies

$$y[n-k]-4y[n-k-1]+4y[n-k-2]=20x[n-k]+10x[n-k-1]\tag{2}$$

Now we have to check if $y_1[n]$ and $y[n-k]$ satisfy the same difference equation. Comparing $(1)$ and $(2)$ we see that this is indeed the case.