[math-fun] Binary Circulant Determinant equals Number