converse of mid point theorem