BochnerやБоголю́бовの接続定理もある