Long divsion and synthetic substitution

12 years ago