Exercise
Which of the numbers below is the first dimension not covered by the theorem?
84
88
92
96
84 = 2 · (41 + 1), and so a Hamard matrix exists by Part 2.
88 = 2 · (43 + 1), so a Hamard matrix exists by Parts 1 and 3.
Correct!
No, a Hadamard matrix can be constructed (96 = 4 · (23 + 1) so Parts 1 and 3 apply),
but a previous dimension fails.