代数学
a→ x-y
b→ y