for p being 5 _or_greater Prime
for z being Element of EC_WParam p holds [0,1,0] is Element of EC_SetAffCo (z,p)