  Lemma standardVertex1NormalTyped : valueHasType standardVertex1Normal INTEGER_SIGNED_32_VEC3.
