これは一体何を抽象化できたの?
前、掛け算と足し算を同一視できるって見たけど