AUBUC=A 怎么就推出 B包含于A交B?列公式证明