Данное выражение истинно тогда и только тогда, когда истинно хотя бы одно из следующих выражений: 
или 
(*); Важно понимать, что последнее выражение невозможно сделать истинным при любых переменных. Действительно, всегда можно выбрать 
; Поскольку 
, то можно выбрать 
и гарантированно обеспечить ложность последнего выражения. Тогда 
; Значит A хотя бы 11, все меньшие значения опровергаются значением ; Докажем, что 
подходит: в силу 
имеем 
- это выражение верно, а, значит, верно и все выражение (при любых переменных), благодаря (*).
