Investigation of elliptic curve E over p:
y2 mod p ≡ x3 + ax mod p