apagoge

Непряме доведення

аналогічне доведення