Requires: (, , )
Calculates: (, )
;
;
Provides: (, )
Algorithm 4: Core EC Montgomery Transformation.