1ebec223e0dc2bae61abe9e74683716d9cd620a0bf079ff2fc56d4a0beee5295a0f27de07abd5ca777731a59ae99475877624a465232

이게 맞는지는 잘 모르겠는데 이거 공식 이름이랑 증명법좀 알려줄수 있음?