하드정리를 해봅시다