E4( Z[ √-7 ] ) | 温故知新