holonomy theorem