The Cartesian product of graphs with loops