A Theory of Cartesian Product and Factorization of Circulant Graphs. (26th December 2013)