Diyagnolizasyon yoluyla kanıt