Description: A prime number is an integer. (Contributed by Paul Chapman, 22-Jun-2011) (Proof shortened by Jonathan Yan, 16-Jul-2017)
Ref | Expression | ||
---|---|---|---|
Assertion | prmz | $${\u22a2}{P}\in \mathbb{P}\to {P}\in \mathbb{Z}$$ |
Step | Hyp | Ref | Expression |
---|---|---|---|
1 | prmnn | $${\u22a2}{P}\in \mathbb{P}\to {P}\in \mathbb{N}$$ | |
2 | 1 | nnzd | $${\u22a2}{P}\in \mathbb{P}\to {P}\in \mathbb{Z}$$ |