13

8

The question is whether this is not deducible from the last

Every line of identity is a graph

It is always permitted to scribe a line of identity on the sheet of assertion
with its extremities attached to blanks

If a dot is on the sheet of assertion it is permissible to attach to it a
line of identity with the other extremity at a blank