Category:Power Function on Complex Numbers is Epimorphism