이는 하스미가 증명한다.