Theorem qexpcl

Description: Closure of exponentiation of rationals. For integer exponents, see qexpclz . (Contributed by NM, 16-Dec-2005)

	Ref	Expression
Assertion	qexpcl	$$⊢\left(A\in \mathbb{Q}\wedge N\in {\mathbb{N}}_0\right)\to A^N\in \mathbb{Q}$$

Proof

Step	Hyp	Ref	Expression
1		qsscn	$$⊢\mathbb{Q}\subseteq ℂ$$
2		qmulcl	$$⊢\left(x\in \mathbb{Q}\wedge y\in \mathbb{Q}\right)\to xy\in \mathbb{Q}$$
3		1q	$$⊢1\in \mathbb{Q}$$
4	1 2 3	expcllem	$$⊢\left(A\in \mathbb{Q}\wedge N\in {\mathbb{N}}_0\right)\to A^N\in \mathbb{Q}$$