  Lemma standardVertex2NormalTyped : valueHasType standardVertex2Normal INTEGER_SIGNED_32_VEC3.
