negative theorem - German English Dictionary