theorem Hex.Conway.primitive_17_1 : Primitive 17 1 supportedEntry_17_1 [2] [4]

C(17, 1) has a generator of order 16.

theorem Hex.Conway.primitive_5_1 : Primitive 5 1 supportedEntry_5_1 [2] [2]

C(5, 1) has a generator of order 4.