Descending Rational Points on Elliptic Curves to Smaller Fields | Synapse