[sorokod]

Ah yes, I was thinking |N x N| = |N|. So is there a pairing function f: NxN -> N which can be used as compression?