>>376
>また、>>294により A=X が成り立つ
>B⊂X−C
何この命題?証明は?