Mặt (AD'C) // BC'
Trong (ABCD) từ D kẻ DH vuông với AC cắt AC tại K (H thuộc BC; K thuộc AC)
mà lại có DD' vuông với AC => (DD'H) vuông với AC => (DD'H) vuông (AD'C)
giao tuyến của (DD'H) và (AD'C) là D'K
Từ D hạ vuông góc với D'K cắt BC' tại I và cắt D'K tại M
=>DI vuông với BC' và (AD'C)
=>IM là khoảnh cách từ BC' đến (AD'C) hay cũng chính là khoảng cách của BC' và AC