设 cub不包含于cua
则 有cub的一个元素不属于cua,记为x
则x属于a但不属于b,即有a的一个元素x,x不属于b
则a不包含于b
矛盾