(エーレスマン接続は、p上のformula_1に値を持つ1-形式である。