Requires: (, )
Calculates: (, )
;
;
Provides: (, )
Algorithm 10: Core EC Montgomery Backtransformation.