a^7=1