If the following proposition were true, we would have made some progress in answering the deductive problem of evil: