s,tの条件が足りない