>>85
そんな使いにくそうな形の式を本当に公理にしてるのか。