lambda1@tg says to YSITD Simply observe that we can define a injective function from a_i to natural numbers