for G being RealNormSpace-Sequence holds the carrier of (product G) = product (carr G)