Here, C is a constant that is independent of N and K. In particular, as suggested by the ???four-to-one??? practical rule introduced in [12], M = 4K is generally sufficient for exact recovery, which means one needs about four incoherent samples per unknown nonzero term.