Ecco tre invarianti per una tabella di token speciali:

## 1. Invariante di Unicit