Description: Value of the complex power function at one. (Contributed by Mario Carneiro, 30May2016)
Ref  Expression  

Hypothesis  cxp0d.1   ( ph > A e. CC ) 

Assertion  cxp1d   ( ph > ( A ^c 1 ) = A ) 
Step  Hyp  Ref  Expression 

1  cxp0d.1   ( ph > A e. CC ) 

2  cxp1   ( A e. CC > ( A ^c 1 ) = A ) 

3  1 2  syl   ( ph > ( A ^c 1 ) = A ) 