25 - 半直积