>>563
実は上の式と下の式で等号の意味が違ってるんだけどね。