消去法の為に、書いただけ。