“…As IS There does not exist a large set of idempotent latin squares of order n = 6, however there does exist a (4,5,6)-latin trade given by: (2,3,4,5) • (1, 4, 5, 3) (5, 2, 1, 4) (3, 5, 2, 1) (4,1,3,2) • (3, 2, 5, 4) (6, 3, 4, 5) (4, 5, 2, 6) (5, 6, 3, 2) (2,4,6,3) (1, 4, 5, 3) (4, 5, 3, 6) (5, 1, 6, 4) • (6, 3, 1, 5) (3, 6, 4, 1) Applying Theorem 7 of [7] to the combination of a (3,5,6) …”