A theoretical bound on telling two language models apart, token by token — type0 | type0