微分して接点tをおかないと無限本存在する