직관으로 만들었지만 구조적 필연성과 필연적 구조에 기반해서 AI도움을 많이 받았는데

그러다 보니 증명과정에서 내용이 너무 많아졌어...

일반인은 이게 너무 힘드뤄...

ㅠㅠ