Let be open.
Take a function .
Then is holomorphic on if its Complex Derivative exists for every