usefully be transferred to the smaller Diagram?

Let us take its four compartments, one by one.

As to No. 5? This, we see, is wholly 'empty'. (So mark it with a grey counter.)

As to No. 6? This, we see, is 'occupied'. (So mark it with a red counter.)

As to No. 7? Ditto, ditto.

As to No. 8? No information.

The smaller Diagram is now pretty liberally marked:--

                 -------
                | 0 | 1 |
                |---|---|
                | 1 |   |
                 -------

And now what Conclusion can we read off from this? Well, it is impossible to pack such abundant information into ONE Proposition: we shall have to