Kuratowski Paths must be Disjoint

Added a routine for proving Kuratowski paths contained in the same
Kuratowski subdivision are disjoint.