  Lemma standardVertex2PositionWF : componentValueWF standardVertex2Position.
