On subgraphs of Cartesian product graphs and S-primeness