  Lemma standardVertex0NormalWF : componentValueWF standardVertex0Normal.
