Důkaz pomocí diagnolizace