Diagonal proof