>>338
その解軌道をxとすると、F(x)=c,F(x)=c'となり矛盾ってことですか?