Wikipedia:Articles for deletion/A trigonometric identity for a circulant matrix