이는 호시노와 네루가 증명