Petunjuk M.54.1.

Singleton \(\{0\}=0\Z\) adalah unsur basis. Jika \(x\neq0\) dan \(x\in a\Z\text{,}\) maka \(a\neq0\) dan \(|a|\in a\Z\cap\mathbb{N}\text{.}\)
in-context