On the Edge-Connectivity of Cartesian Product Graphs | Synapse