  Lemma standardVertex2NormalWF : componentValueWF standardVertex2Normal.
