Доказательство - это последовательность утверждений , в которой каждое утверждение вытекает из предыдущего .
доказательство$1528 -$0 это$132 последовательность$1446 утверждение$1556 ,$0 в$0 который$1656 каждый$312 утверждение$1528 вытекать$18 из$0 предыдущий$1450 .$0