On some theorems on circulant matrices