주연산자가 ^  이니 앞뒤 각자 증명하고 ^I 규칙으로 묶으려고 하는데

왼쪽 증명에서 가정 B를 어떻게 해제하는지 모르겠읍니다..