  A Latin square of order $n$ with symbols $a_1,\ldots,a_n$ can be considered
as a multiplication table for binary operation in the set
$A=\{a_1,\ldots,a_n\}$. We prove that, if this operation is associative, then
$A$ is a group.
