Diagonal theorem