이는 백룡으로 증명가능