  Lemma standardVertex0PositionWF : componentValueWF standardVertex0Position.
