I already commented in another post this isn't what it appears to be. They assume the domain is finite & the codomain uncountable & the result follows from basic cardinal arithmetic. More rigorous analysis would account for both domain & co-domain cardinalities of the same power b/c language models can only operate w/ finite bit strings & the injectivity in that case is not obvious at all.