Ambrose–Singer holonomy theorem