>>594
解が存在するのであれば>>575の命題は成立する。