>>866
普通は乗法に関する単位元の存在は
公理になってるはずだけど、、
どうしてって別にただの仮定だから
1は存在しないかもしれないけど，
とりあえずあるもの中心で考えようというだけ