מי הוכיח את המשפט הטופולוגי האומר שעקום "נחמד" מחלק את המישור לשני חלקים – פנים וחוץ?