octic reciprocity theorem