Myrvold's Results on Orthogonal Triples of 10 × 10 Latin Squares: A SAT Investigation: Errata

Theorem 1: The squares $C_2,\dotsc,C_r$ must be Latin, not just column-Latin.