解の存在と一意性の定理