Say we have a generalization of a Latin square, where the square is of size $n \times n$, $n = ab$ and each row and each column has $b$ occurrences of each of $[1, \dots, a]$. Is there always guaranteed to be a subsquare (a subset of a rows and a possibly different subset of a columns) which forms a proper $a \times a$ Latin square?