Product map of E5_C