add to proof of elliptic curve section.