Якщо відрізок ВС перетинає пряму m, а відрізки АВ і СD не перетинають її, то пряма m перетинає відрізок AD. Це випливає з того, що вся пряма розділяє площину на дві половини, і якщо пряма BC перетинає одну половину площини, то вона також перетинає іншу половину, включаючи відрізок AD.