(sylvester_matrix (1) == [1, 1; 1, -1]
 && (sylvester_matrix (2)
     == [1, 1, 1, 1; 1, -1, 1, -1; 1, 1, -1, -1; 1, -1, -1, 1]))
