Theorem that holomorphic functions on complex domains are open maps