[EN] The cancellation problem, which goes back to S. Ulam, is formulated as follows: Given topological spaces X, Y, Z, under what circumstances does X × Z ≈Y × Z (≈ meaning homeomorphic to) imply X ≈ Y ? In it is ...