This question was asked in Theorem 8.5
Why doesn't made diagonals

Manju Balota's image