0=f(x)

f(x)=1[f(x)=0が解あり]

1[P]とはPが真のとき1、Pが偽のとき0