Talk:If the intersection of two open balls is non-empty then for every point in the intersection there is an open ball containing it in the intersection