결국 증명의 문제인듯

기다리면 알겠지