その動機は、bとcは限定されたsであるということである。