converse of a theorem