論理的に>>779は成り立たないと思うように至りました。
（解の非存在と唯一性は両立する，よって解の唯一性から存在性は示せない。）

ありがとうございました。