Chứng minh định lý này để nó ra kết quả ấy

Giả sử `:`

`@a,b\subset (P)`

`@annB={I}`

`@d\bota` tại `I`

`@d\botb` tại `I`

Xét các đg thẳng `c \subset (P)` đi qua `I`

Mà `a,b` cắt nhau tại `I`  nên mặt phẳng `(P)` được xác định bởi `2` đg thẳng `a` và `b`

`=>` Mọi đường thẳng `c` qua `I` trong `(P)` đều nằm trong mặt phẳng xác định bởi `a` và `b`

Mà `d\bot (annb)`

`=>d\botc`

`=>d\bot ` với mọi đường thẳng thuộc `(P)`  đi qua `I`

`=>d\bot(P)`