>>507では定義の方は|a|=a(a≧0) -a(a≦0)とイコールが重複しても大丈夫なのですか？