
premises
# TH_5
% for three points that are not collinear there exists a plane
% that contains them all

point(1)
point(2)
point(3)
~col(1,2,3)

conclusions

plane(4)
inc_po_pl(1,4)
inc_po_pl(2,4)
inc_po_pl(3,4)
