(1)
O Reticulado E8 via O Corpo ciclotômico ˆQ(ζ20). C. Q. D. 2022, 7.