theorem :: BKMODEL1:44

( not Dir101 , Dirm101 , Dir011 are_collinear & not Dir101 , Dirm101 , Dir010 are_collinear & not Dir101 , Dir011 , Dir010 are_collinear & not Dirm101 , Dir011 , Dir010 are_collinear )