유한하다고 증명됨?