1 "You know my methods. Apply them!"
2
1 Implementation
3 Implementation
2 ==============
4 ==============
3
5
4 - (#2 * x) = #2 * - x is not proved by arith
6 - (#2 * x) = #2 * - x is not proved by arith
7