Đầu tiên ta phải cm vt la tap con cua vp tức là voi moi x nếu x thuoc A hợp ( B giao C) thì x thuoc ( A hợp B) giao ( A hợp C). 
***giả sử x thuoc A hợp ( B giao C) khi đó hoặc x thuoc A hoặc x thuok ( B giao C) 
+ nếu x thuoc A thì x thuoc A hợp B và x thuộc A hợp C. Do đó x thuộc ( A hợp B) giao ( A hợp C) 
+ nếu x thuộc B giao C thì x thuộc B và x thuộc C. Vì x thuộc B nên x thuộc A hợp B. Vì x thuộc C nên x thuộc A hợp C. do đó x thuộc ( A hợp B) giao ( A hợp C) 
--tiếp theo ta chứng minh vp là con của vt tức là cm với mọi x thuộc ( A hợp B) giao ( A hợp C) thì 
x thuộc A hợp ( B giao C) 
thật vậy, giả sử ( A hợp B) giao ( A hợp C). khi đó x thuộc A hợp B và x thuộc A hợp C. 
+ nếu x thuộc A thì x thuộc A hợp ( B giao C) 
+ nếu x ko thuộc A thì do x thuộc ( A hợp B) nên x thuộc B. vì x thuộc A hợp C nên x thuộc C. Vậy 
x thuộc ( B giao C). do đó x thuộc A hợp ( B giao C). 
SUY RA DPCM 
hơi lằng nhằng tí bạn ạ nhưng viết theo kí hiệu toán học là hiểu ngay thôi