  Lemma standardVertex0NormalTyped : valueHasType standardVertex0Normal INTEGER_SIGNED_32_VEC3.
