  Lemma standardVertex1PositionWF : componentValueWF standardVertex1Position.
