파라메트릭 프레임워크 아래 고정점 정리를 통한 구간 프레몰드 적분 방정식의 해에 대한 존재성과 유일성 결과 | Synapse