Cyclic vertex-connectivity of Cartesian product graphs. Issue 1 (2nd January 2020)