We assume that H doesn't change for T instances of x_i and so we can stack T equations together:

Y = HX + Z 

where now Y and X are N×T and M×T matrices respectively. 

We further assume M<T and H of max rank.

The crucial observation is  that HX and X has the same row space.

8/n