Todistus diagnolisaation avulla