degens eight-square identity