Question
Is it true that `H_1 ~= ZZ_4` ?
Close the window and click for the next page...
Close the window and try once more...