Element in cartesian product iff components in images of canonical projections