On independence numbers of the cartesian product of graphs