Vector space/Product of two spaces/Exercise