リーマン接続の定義と共変微分