Dowód przez diagonalizację