As the last line in the book, proposition 7 has no supplementary propositions.
作为本书的最后一行，命题7没有补充命题。