Int(\mathbb{Z}_9) = \{id\}