Ambrose-Singer theorem