a>0という条件が付いてるよ