淘气有25本课外书，笑笑比淘气少5本，求他们一共有多少本课外书？必须先求出（    ）。