이것은 어느 씹덕겜이든 증명가능