С помощью КНФ опровергнуть или доказать следующее рассуждение: «Если через точку М, взятую внутри круга, проведена какая-либо хорда АВ и диаметр СД, то произведение отрезков хорды /АМ/ */МВ/ равно произведению отрезков диаметра /СМ/*/МД/. Но произведение отрезков хорды не равно произведению отрезков диаметра. Следовательно, либо неверно, что через точку М, взятую внутри круга, проведена какая-либо хорда, либо неверно, что через эту точку проведен диаметр».