각청과 바바라가 증명