처음껀 TB는 정의자체를 조건제시법으로 줬으니 당연히 유니크하고, 증명하는것만 봐도 B를 배이시스로 갖는 위상이ㅡ유일하단 스태이트먼트임 맞지?

두번째는 증명 디태일인데 중간에 뇌절온듯;; 내가 취소선그은 부분 없애면 말된다 ㅇㅈ?