NSも正則解の存在定理の方は解けるのかねえ
過去の蓄積が多いから実は既知の知識の融合問題かもな