Theorem cnre

Description: Alias for ax-cnre , for naming consistency. (Contributed by NM, 3-Jan-2013)

	Ref	Expression
Assertion	cnre	$$⊢A\in ℂ\to \exists x\in ℝ\exists y\in ℝA=x+\mathrm{i}y$$

Proof

Step	Hyp	Ref	Expression
1		ax-cnre	$$⊢A\in ℂ\to \exists x\in ℝ\exists y\in ℝA=x+\mathrm{i}y$$