converse of a theorem - German English Dictionary