이는 시라카기가 증명한다