「(x^2)-4≧0,t=0」が成り立つとき、
「tの２次方程式 t^2 - xt + 1 = 0を満たす実数tは存在する。」