  Lemma standardVertex1NormalWF : componentValueWF standardVertex1Normal.
