Let $R$ be an [integral domain](/page/Integral%20Domain), and let $S \subset R$ be a subring whose addition and multiplication are inherited from $R$ and whose multiplicative identity satisfies $1_S = 1_R$. If $S \ne \{0_R\}$, then $S$ is an integral domain.