清华离散数学(第2版):12.1-2