동형식 방정식의 해의 존재