>>504
前半は開集合Uが平坦という前提が必要だね
それ以外は合ってる