まだ>>693の話はどうなったの?
存在しない証明は正しいのに、あれ存在する問題。
まだ解決した話聞かないけど?