Igusa (1981) showed that it is a multiple of the difference θ4(E8 ⊕ E8) − θ4(E16) of the two genus 4 theta functions of the two 16-dimensional even unimodular lattices and that its divisor of zeros is irreducible.
Igusa (1981) bevisade att den är en multipel av differensen θ4(E8 ⊕ E8) − θ4(E16) av två thetafunktioner av genus 4 av de två 16-dimensionella jämna unimodulära gittren och att dess nolldelare är irreducibelt.