해의 존재성은 보통 약해의 존재성을 밝히는거임?
강해의 존재성은 너무 어려울것같은데
약해는 방정식의 형태를 변형시켜서 밝히는거지만
강해는 어떤식으로 존재성을 밝히는가?