이는 우인호 때부터 증명된 것