禁书1，81，引理1-6