Если утверждение "Если А, то Б" истинно, то и его контрапозитивное утверждение "Если не Б, то не А" также истинно.