The name occurs in the proposition only in the context of the elementary proposition.
« 4.2211 4.24 »