Доведення через діагнолізацію