`a)`

`(SAN)` và `(ABM)`

`+)A` chung

`+)mp(SBC):SNnnBM=D`

                  `D\inSNsubset(SAN)`

                  `D\inBMsubset(ABM)`

         `->D\in(SAN)nn(ABM)`

`=>(SAN)nn(ABM)=AD`

`b)`

`(SAN)` và `(BCK)`

`+)` `{(K\inSAsubset(SAN)),(K\in(BCK)):}`

       `->K\in(SAN)nn(BCK)`

`+)` `{(N\in(SAN)),(N\inBCsubset(BCK)):}`

       `->N\in(SAN)nn(BCK)`

`=>(SAN)nn(BCK)=KN`