>>403
2行目の理屈だと3つの演算を持つ体系の具体例を出すのがスタートだろ