Prova através de diagonalização