Let us assume that, the -submodules of are precisely the sets of the form for any. (Note that and).
Let us assume that. Consider that, such that is nonempty.
Now let us consider that, and. Also consider that since, for the th component of is, and the th coordinate of is 0.