Problem 20

189 days ago by Ruthly_Francois

By problem 19, if $ABC$ and $ACD$, then $ABD$ and $BCD$. Therefore if $ABD$ and $BCD$, and by axiom 5 $DCB$ and $DBA$, then $DCA$ and $CBA$. So $ACD$ and $ABC$.