On primality of Cartesian product of graphs | Synapse