theorem
  v.edgesInOut() = v.edgesIn() \/ v.edgesOut();
