.....................................................................................................

`A = {x ∈ N | x` chia hết cho  `2}`
`B = {x ∈ N | x` chia hết cho  `3}`

Theo định nghĩa phép giao, ta có: `A ∩ B` là các số vừa có trong `A` vừa có trong `B`.

`=>` `A ∩ B =` các số chia hết cho cả `2` và `3` `= 2.3k = 6k (k ∈ N)` `(1)`

`C = {6k | k ∈ N}` `(2)`

Từ `(1)` và `(2)` suy ra `A ∩ B = C`

`A = { x in NN | x \vdots 2 }`

`B = { x in NN | x \vdots 3 }`

Mà `A ∩ B`  : Là các số đều xuất hiện ở cả `2` tập `A` và `B`

`=>` `A ∩ B` là các số chia hết cho `2 . 3 = 6`

`=>` Số chia hết cho `6` có dạng `6k ( k in NN )`

`=> A ∩ B = 6k ( k in NN )`

Mà `C = { 6k | k in NN }`

`=> A ∩ B = C` `( đpcm )`