Xét mặt phẳng (B, m) chứa hai đường thẳng m và AB. Vì m đi qua A và AB cũng đi qua A, hai đường thẳng này cắt nhau tại A.
Ta chứng minh cả hai đường thẳng m và AB đều song song với mp(C, n):
Thứ nhất, m // n (giả thiết). Đường thẳng n nằm trong mp(C, n) và m không nằm trong mp(C, n) (vì m không thuộc mặt phẳng (ABCD) và đi qua A, không qua C hay D). Do đó m // mp(C, n).
Thứ hai, ABCD là hình thang có hai đáy AB và CD, nên AB // CD. Đường thẳng CD nằm trong mp(C, n) và AB không nằm trong mp(C, n) (vì AB nằm trong (ABCD) nhưng điểm B không thuộc mp(C, n)). Do đó AB // mp(C, n).
Mặt phẳng (B, m) chứa hai đường thẳng cắt nhau m và AB, cả hai đều song song với mp(C, n). Theo tiêu chí hai mặt phẳng song song, suy ra:
\[ (B, m) \parallel (C, n). \]
