解の存在定理は証明できるのか?