違いを除いて
は同型である。とくに、アーベル多様体 "A" は "H"1("A""k"s, Z"l") 上のガロワ表現によってisogenyの違いを除いて決定される。