원 경계 위의 연속함수 공간이 원 내부에서 홀로모픽인, 원 전체에서 연속인 함수 공간이랑 바나흐 대수로서 아이소모픽이래

증명은 모레라 정리 + 맥시멀 모듈러스

혹은 라플라스 방정식 풀어도 나오는거 같기도 함