命題が定める計算領域の絶対値=abs (Worst)が多項式で収まらないものの中にabs(Ans)が多項式で収まらないものの存在を示す、か、具体的に作るか