Long divsion and synthetic substitution

13 years ago