Holonomy Group Is a Subgroup